... files¹¹

Thanks are due to many, many, people for correcting errors and helping, including Michel Goossens, Alois Steindl, Constantin Kahn, Berthold Horn, Alan Jeffrey, Howard Marvel, Frank Poppe, Andrew Trevorrow...